/**
 * 00013 - Hello World (热身)
 * 
 * 题目描述：
 * Hello, World!
 * 
 * 这个简单的提问希望让你可以快速上手 Type Challenges。在这里，我们使用了一些神奇的技巧让 TypeScript 
 * 通过自身的类型系统来实现自动判题。
 * 
 * 在这个挑战中，你需要修改下方的代码使得测试通过（使其没有类型错误）。
 */

import type { Equal, Expect, NotAny } from '@type-challenges/utils'

// ========== 你的解答区域 ==========
// 期望是一个 string 类型
type HelloWorld = string

// ========== 测试用例 ==========

type cases = [
  // 检查 HelloWorld 不是 any 类型
  Expect<NotAny<HelloWorld>>,
  // 检查 HelloWorld 等于 string 类型
  Expect<Equal<HelloWorld, string>>,
]

// 运行测试（如果类型错误，TypeScript 会报错）
type test = Expect<Equal<HelloWorld, string>>

/**
 * 提示：
 * 这是一个热身题目，非常简单！你只需要将 `any` 替换为正确的类型即可。
 * 
 * 答案示例：
 * type HelloWorld = string
 */ 